Search Results for 'milner proofs'

milner proofs published presentations and documents on DocSlides.

Formally proving facts in

by briana-ranney

the refinement . algebra. Vlad. . Shcherbina. Il...